bench_dir=$1
parse_root=/public/home/jwli/workSpace/yongkang/AAAI-24July-labs/experiments_from_24.0726/lab_results_parser

set -x

$parse_root/synviasat-21FP-js/app.js --benchmark=syntcomp23 --type=splitAndSubAfSz --dir=$bench_dir